541. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Kenneth L. McMillan, Xavier Rival
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
542. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
543. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Souza, Akash Lal, Kim Guldstrand LarsenبDeepak D
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
544. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
545. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Ranjit Jhala, David Schmidt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
546. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Viktor Kuncak, Andrey Rybalchenko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
547. Verification and Validation of Real-Time Software
پدیدآورنده : edited by William J. Quirk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
54
E358
1985
548. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
549. Verification and validation for quality of UML 2.0 models
پدیدآورنده : Unhelkar, Bhuvan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
550. Verification and validation for quality of UML 2.0 models
پدیدآورنده : / Bhuvan Unhelkar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer software- Verification,Computer software- Quality control,UML (Computer science)
رده :
QA76
.
76
.
V47
,
U53
2005
551. Verification and validation for quality of UML 2.0 models
پدیدآورنده : Unhelkar, Bhuvan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(
رده :
QA
76
.
76
.
V47
U53
552. Verification and validation for quality of UML 2.0 models [electronic resource]
پدیدآورنده : / Bhuvan Unhelkar
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Computer software--Verification,Computer software--Quality control,UML (Computer science)
رده :
EB
,
QA76
.
76
.
V47U53
2005
553. Verification and validation in systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
554. Verification and validation in systems engineering : assessing UML/SysML design models
پدیدآورنده : Mourad Debbabi ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(
رده :
QA
76
.
76
.
E95
V47
2010
555. Verification and validation of complex systems :
پدیدآورنده : edited by John A. Wise, V. David Hopkin, Paul Stager.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
U83
E358
2011
556. Verification and validation of real - time software
پدیدآورنده : Edited by W.J. Quirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Real-time data processing,Verification ، Computer software,Validation ، Computer software
رده :
QA
76
.
54
.
V47
1985
557. Verification and validation of rule-based expert systems]CD[
پدیدآورنده : Smith, Suzanne,Suzanne Smith, Abraham Kandel
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
رده :
CD
1748-83
558. Verification and validation of rule-based expert systems
پدیدآورنده : / Suzanne Smith, Abraham Kandel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Expert systems (Computer science),Computer software- Verification,Computer software- Validation
رده :
QA76
.
76
.
E95
,
S66
1993
559. Verification methodology manual : techniques for verifying HDL designs
پدیدآورنده : Dempster, David
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer hardware description languages,، Computer software -- Verification -- Handbooks, manuals, etc
رده :
TK
7885
.
7
.
V44
2002